# coding=utf-8
import time
s = int(input())
a = time.strftime('%H:%M:%S',time.gmtime(s))
print(a)

